Rui Carlos A. Gonçalves Curriculum Vitae Personal Information Name Mobile Phone Personal E-Mail

Source URL: rcgoncalves.pt

• Software
• Computing
• Parallel computing
• Integrated development environments
• Cross-platform software
• Mathematical software
• Numerical software
• Eclipse
• Wolfram Mathematica
• University of Minho
• Architect
• Model-driven engineering

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

Topic Sheet Choose the Mathcad product that’s right for you ® Mathcad is the industry standard software for engineering calculations. Its easy-to-use, live mathematical notation, powerful

Source URL: www.mathcad-store.co.uk

PDF Document

Source URL: www.zib.de

• Mathematical optimization
• Numerical analysis
• Operations research
• Combinatorial optimization
• Mathematics
• NP-complete problems
• Numerical software
• Column generation
• Linear programming
• SCIP
• Branch and bound
• DantzigWolfe decomposition

PDF Document

Source URL: www.ecs.baylor.edu

• Software
• Computing
• Mathematical software
• Computer algebra systems
• Numerical software
• Classes of computers
• Office equipment
• Mathcad
• Laptop
• MATLAB
• Microsoft Windows
• Personal computer

PDF Document

Source URL: fritzo.org

• Computer programming
• Adjoint functors
• Software engineering
• Mathematical analysis
• Markov processes
• Probability theory
• Monad
• Probability distribution
• Kleisli category
• Markov chain
• Probability
• Monoidal monad

Software specifications and Mathematical Proofs in Natural Languages Muhammad Humayoun Laboratoire de Mathématiques (LAMA) Université de Savoie

Source URL: www.lama.univ-savoie.fr

Mathematical Proofs and Software specifications in Natural Languages Muhammad Humayoun Laboratoire de Mathématiques (LAMA) Université de Savoie

Source URL: www.lama.univ-savoie.fr

Mathematica 8 (Windows) Installation manual for Mathematica with a Single Machine License 

Source URL: www.u.tsukuba.ac.jp

• Wolfram Research
• Cross-platform software
• Mathematica
• Numerical software
• Double-click
• ActiveX
• Dialog box
• Software
• Mathematical software
• Application software

Sage Reference Manual: The Sage Notebook Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Sage
• Secure Shell
• Su
• Ssh-keygen
• Software
• Mathematical software
• Unix